@nice-blue: #5B83AD;
@light-blue: @nice-blue + #111;

#header {
  color: @nice-blue;
}

